logical predicate

welcome to shbcf.ru